Diclib.com
Dictionnaire ChatGPT

Recherche dans le dictionnaire Solutions personnalisées

Entrez un mot ou une phrase dans n'importe quelle langue 👆

Langue:

Traduction et analyse de mots par intelligence artificielle ChatGPT

Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:

comment le mot est utilisé
fréquence d'utilisation
il est utilisé plus souvent dans le discours oral ou écrit
options de traduction de mots
exemples d'utilisation (plusieurs phrases avec traduction)
étymologie

Qu'est-ce (qui) est SWI-Prolog - définition

FREE IMPLEMENTATION OF THE PROGRAMMING LANGUAGE PROLOG, COMMONLY USED FOR TEACHING AND SEMANTIC WEB APPLICATIONS

SWI Prolog; Sociaal-Wetenschappelijke Informatica Prolog; Swipl; XPCE; SWIPL

SWI-Prolog

<programming> A Prolog by Jan Wielemaker <jan@swi.psy.uva.nl> like a superset of Edinburgh Prolog. Version 1.7.2. Docking Station is distributed under {General Public License}. It runs on Sun-4, Sun-3, Linux, DEC MIPS (incomplete), RS/6000, PS2/AIX, Atari ST, Gould PN, NeXT, VAX, HP-UX (problems), MS-DOS, and OS/2. SWI-Prolog">ftp://swi.psy.uva.nl/pub/SWI-Prolog. SWI/">OS/2 (ftp://mpii02999.ag2.mpi-sb.mpg.de/pub/toolw/SWI/). Mailing list: prolog-request@swi.psy.uva.nl. (2000-03-23)

PROLOG

PROGRAMMING LANGUAGE THAT USES FIRST ORDER LOGIC

Prolog programming language; Prolog (programming language); ISO/IEC 13211-1; PROLOG; PROLOG programming language; Prolog II; ISO/IEC 13211-2; Prologue language; SICStus Prolog; SICStus; Criticism of Prolog; ISO/IEC 13211; Prolog language; ISO-Prolog; ISO Prolog; Design patterns in Prolog; Prolog-MPI; Meta-interpreters in Prolog

PROgramming in LOGic

Prolog

PROGRAMMING LANGUAGE THAT USES FIRST ORDER LOGIC

Prolog programming language; Prolog (programming language); ISO/IEC 13211-1; PROLOG; PROLOG programming language; Prolog II; ISO/IEC 13211-2; Prologue language; SICStus Prolog; SICStus; Criticism of Prolog; ISO/IEC 13211; Prolog language; ISO-Prolog; ISO Prolog; Design patterns in Prolog; Prolog-MPI; Meta-interpreters in Prolog

·noun & ·v Prologue.

Wikipédia

SWI-Prolog

SWI-Prolog is a free implementation of the programming language Prolog, commonly used for teaching and semantic web applications. It has a rich set of features, libraries for constraint logic programming, multithreading, unit testing, GUI, interfacing to Java, ODBC and others, literate programming, a web server, SGML, RDF, RDFS, developer tools (including an IDE with a GUI debugger and GUI profiler), and extensive documentation.

SWI-Prolog runs on Unix, Windows, Macintosh and Linux platforms.

SWI-Prolog has been under continuous development since 1987. Its main author is Jan Wielemaker.

The name SWI is derived from Sociaal-Wetenschappelijke Informatica ("Social Science Informatics"), the former name of the group at the University of Amsterdam, where Wielemaker is employed. The name of this group has changed to HCS (Human-Computer Studies).

https://en.wikipedia.org/wiki/SWI-Prolog